(******************************
 * Programm von Dieter Seidel *
 *  Eingegeben am 26.11.1991  *
 ******************************)


DEFINITION MODULE QuadTester;


PROCEDURE Tester() : BOOLEAN;

END QuadTester.

